Completeness and interpolation of almost-everywhere quantification over finitely additive measures
نویسندگان
چکیده
منابع مشابه
Completeness and interpolation of almost-everywhere quantification over finitely additive measures
We give an axiomatization of first-order logic enriched with the almosteverywhere quantifier over finitely additive measures. Using an adapted version of the consistency property adequate for dealing with this generalized quantifier, we show that such a logic is both strongly complete and enjoys Craig interpolation, relying on a (countable) model existence theorem. We also discuss possible exte...
متن کاملOn finitely additive vector measures.
In this paper we extend the well-known Vitali-Hahn-Saks and Nikodým theorems for measures to finitely additive vector-valued set functions.
متن کاملFinitely Additive Equivalent Martingale Measures
Let L be a linear space of real bounded random variables on the probability space (Ω,A, P0). There is a finitely additive probability P on A, such that P ∼ P0 and EP (X) = 0 for all X ∈ L, if and only if c EQ(X) ≤ ess sup(−X), X ∈ L, for some constant c > 0 and (countably additive) probability Q on A such that Q ∼ P0. A necessary condition for such a P to exist is L − L+∞ ∩ L + ∞ = {0}, where t...
متن کاملFinitely additive measures on groups and rings
On arbitrary topological groups a natural finitely additive measure can be defined via compactifications. It is closely related to Hartman’s concept of uniform distribution on non-compact groups (cf. [Ha]). Applications to several situations are possible. Some results of M. Paštéka and other authors on uniform distribution with respect to translation invariant finitely additive probability meas...
متن کاملAn Isomorphism Theorem for Finitely Additive Measures
A problem which is appealing to the intuition in view of the relative frequency interpretation of probability is to define a measure on a countable space which assigns to each point the measure 0. Such a measure of course becomes trivial if it is countably additive. Finitely additive measures of this type have been discussed by R. C. Buck [l] and by E. F. Buck and R. C. Buck [2]. In a discussio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2013
ISSN: 0942-5616
DOI: 10.1002/malq.201110051